finite number of variables

un. 有限变量数